c formula generated with seed 0, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.408571
c the planted solution is {1, 2, 4, 5, 7, 9, 10, 14, 15, 16, 17, 19, 26, 29, 31, 32, 35, 39, 40, 41, 42, 44, 45, 46, 47, 48, 49, 51, 53, 54, 55, 56, 58, 61, 63, 64, 65, 72, 74, 76, 78, 79, 80, 81, 82, 83, 84, 85, 91, 95, 97, 98, 99, 100, 103, 105, 106, 108, 110, 111, 113, 114, 115, 117, 121, 123, 124, 125, 127, 128, 133, 135, 136, 137, 138, 139, 140, 144, 151, 153, 155, 156, 157, 158, 162, 163, 164, 170, 172, 173, 174, 176, 178, 179, 181, 184, 185, 186, 187, 188, 189, 192, 193, 197, 199, 204, 205, 210, 211, 212, 213, 214, 215, 218, 221, 224, 226, 229, 230, 235, 238, 241, 243, 244, 245, 246, 247, 249, 252, 253, 254, 255, 257, 260, 261, 262, 263, 265, 266, 267, 269, 272, 273, 278, 279, 281, 282, 284, 285, 288, 291, 292, 294, 295, 297, 299, 302, 304, 307, 317, 320, 322, 323, 324, 325, 326, 328, 329, 330, 334, 335, 336, 338, 339, 341, 343, 344, 347, 349, 350}
p cnf 350 1543
200 163 94 0
170 -98 327 0
-328 -268 -100 0
-250 341 72 0
-208 253 -315 0
57 -127 58 0
-43 -220 -171 0
-305 -346 -88 0
-223 -255 146 0
-170 166 265 0
-307 197 -176 0
255 -287 -190 0
-169 197 -109 0
324 -93 39 0
335 -221 -127 0
-122 217 -229 0
-162 66 -280 0
97 128 341 0
-107 276 177 0
78 -17 219 0
-147 123 -156 0
341 153 -177 0
-36 -259 108 0
126 -38 123 0
190 12 124 0
-333 -107 -75 0
-73 9 -337 0
-195 322 178 0
329 -266 22 0
-293 -202 334 0
-251 -231 44 0
-42 265 50 0
20 284 -155 0
-229 -122 131 0
47 111 35 0
159 26 251 0
45 146 13 0
163 164 -233 0
230 -88 -316 0
16 -2 -317 0
109 -240 332 0
62 275 -228 0
-147 4 -314 0
-148 190 -79 0
-32 203 156 0
-131 122 -188 0
187 -17 -135 0
-192 236 -69 0
240 -62 -173 0
284 223 -235 0
-329 -113 -34 0
298 333 140 0
166 -333 -158 0
-127 -26 44 0
192 -223 55 0
-93 264 274 0
189 345 310 0
-122 247 -148 0
-221 -59 -272 0
239 -223 180 0
68 274 -102 0
265 281 325 0
42 -102 -89 0
311 -15 -18 0
-318 -233 -301 0
19 241 -340 0
-182 -197 127 0
-293 8 -103 0
-237 101 -135 0
20 -8 296 0
319 -325 336 0
48 -75 -313 0
289 -275 75 0
207 -2 -303 0
-68 -194 -222 0
269 166 -257 0
-171 -215 342 0
-91 31 148 0
-327 229 -240 0
236 160 179 0
137 -102 123 0
-263 -167 -230 0
-246 -342 11 0
68 293 -119 0
202 230 -235 0
329 -346 -180 0
-303 90 131 0
76 -346 293 0
140 106 127 0
190 322 131 0
-167 -301 138 0
-159 187 110 0
-102 -325 166 0
-26 -232 -284 0
-147 345 182 0
-114 285 -278 0
178 21 -214 0
-284 188 -103 0
5 330 193 0
66 80 92 0
226 111 137 0
-172 -290 -121 0
118 156 305 0
31 -338 -199 0
317 159 -226 0
240 222 -256 0
149 228 -88 0
188 -289 6 0
-319 -169 54 0
-153 99 10 0
-244 261 252 0
304 -328 131 0
-225 319 126 0
-41 -257 292 0
-209 81 17 0
-74 -191 143 0
-50 -18 -308 0
-307 120 -190 0
-321 -9 -297 0
-296 157 285 0
-332 39 212 0
-217 308 231 0
29 -35 -176 0
-193 -175 24 0
-169 74 85 0
-102 -224 194 0
-341 -245 111 0
344 -348 -52 0
-128 -246 -126 0
-311 202 -261 0
-175 -309 245 0
38 -344 -161 0
-312 -270 -146 0
235 -209 267 0
-346 -324 -254 0
-70 330 243 0
-52 -314 -239 0
-106 -277 16 0
285 49 249 0
-314 -227 125 0
272 213 -166 0
-73 -102 -130 0
-308 5 128 0
-194 -334 -58 0
207 317 -245 0
289 74 -187 0
319 -283 -98 0
-292 -13 -188 0
-281 -334 115 0
248 -10 -8 0
-37 70 36 0
334 145 182 0
215 157 -109 0
-158 84 214 0
-15 -119 -170 0
211 134 12 0
237 198 -239 0
197 -140 -338 0
113 -222 -109 0
-237 -47 194 0
-91 -47 124 0
-241 211 248 0
52 -189 193 0
306 -200 -32 0
244 -343 -336 0
-335 245 161 0
329 318 -55 0
286 11 80 0
-200 -282 296 0
-179 -300 -266 0
116 278 -78 0
-191 350 74 0
237 92 244 0
331 -255 193 0
-230 91 300 0
-143 -250 81 0
288 198 310 0
-322 43 -303 0
-271 57 -317 0
191 275 -306 0
215 233 169 0
-178 -65 -92 0
-27 22 217 0
-25 -58 232 0
-172 -168 312 0
69 -7 -327 0
323 144 108 0
-8 220 -250 0
149 281 24 0
-347 344 309 0
74 253 163 0
-282 -75 180 0
105 119 -192 0
194 -229 79 0
99 -148 -198 0
190 -20 -48 0
155 -133 -343 0
98 72 -3 0
25 -286 -267 0
159 -291 -196 0
-47 114 -41 0
216 -261 -206 0
-105 224 36 0
24 -16 267 0
114 -146 170 0
-37 -306 -276 0
-332 -282 -49 0
-11 207 -245 0
-84 35 -235 0
192 201 -136 0
-8 -209 135 0
186 136 -152 0
216 -237 -162 0
-301 -112 -315 0
-170 300 158 0
-7 -342 96 0
15 -140 154 0
265 -219 349 0
-190 348 -265 0
237 -221 266 0
17 322 164 0
-324 64 -255 0
-186 23 -161 0
133 159 236 0
-176 -307 -333 0
68 207 135 0
-174 333 -270 0
39 324 -227 0
-304 -275 -83 0
106 144 -293 0
-264 -145 -141 0
-193 -157 260 0
-286 -129 -242 0
-144 40 177 0
-20 115 317 0
-201 -273 87 0
85 213 -63 0
201 322 -111 0
48 292 4 0
234 -259 239 0
-239 255 -34 0
10 -75 123 0
-248 -204 -108 0
-41 223 285 0
-28 342 -134 0
155 292 153 0
-134 63 285 0
342 290 113 0
-12 -61 23 0
-348 -253 -62 0
230 -185 -317 0
-241 -89 239 0
-178 131 253 0
-227 231 286 0
126 -293 -106 0
159 303 285 0
238 -123 -336 0
-66 348 303 0
-16 -306 298 0
-109 291 -50 0
21 187 38 0
259 129 -283 0
76 158 -265 0
347 -116 -190 0
-120 -270 -148 0
17 317 -37 0
266 -247 315 0
-244 227 174 0
110 82 -60 0
263 299 114 0
-332 -187 234 0
-250 116 296 0
-330 160 -287 0
10 -278 318 0
-90 -128 -188 0
-134 -14 -344 0
-267 -34 -7 0
-276 281 124 0
-297 50 97 0
-344 349 300 0
-155 50 108 0
297 -70 31 0
-187 -245 -275 0
274 -237 -189 0
80 97 -183 0
49 -294 -99 0
-209 -251 -180 0
188 -21 -122 0
189 319 277 0
230 314 225 0
204 188 -122 0
-212 -222 -1 0
192 -21 -36 0
-47 -257 292 0
-193 333 162 0
22 267 57 0
-224 -329 -194 0
-316 143 -22 0
56 83 -11 0
-20 -113 326 0
296 -280 201 0
-336 -333 88 0
-100 2 57 0
132 136 -188 0
-6 145 88 0
-251 273 -314 0
182 162 231 0
-168 -310 -88 0
306 -321 -261 0
259 -174 76 0
-149 338 -24 0
-57 -256 -129 0
-54 -216 340 0
-222 345 36 0
-350 -260 -150 0
305 39 -127 0
-310 45 -142 0
-32 -105 -130 0
-223 222 129 0
-139 -205 224 0
74 -292 20 0
154 -157 -18 0
-152 274 -127 0
204 237 -209 0
-162 -121 -37 0
-98 -306 152 0
137 -254 -110 0
44 212 -330 0
-55 -158 254 0
63 -304 -177 0
-239 138 -67 0
80 -152 85 0
31 296 207 0
-278 -122 -349 0
-165 -318 -209 0
117 -76 -330 0
172 117 136 0
269 11 90 0
264 -276 237 0
-238 -193 178 0
-171 78 185 0
218 19 -141 0
-234 -126 -93 0
-17 -277 223 0
-298 -27 -223 0
-42 -318 -254 0
-15 -92 -341 0
41 -234 -166 0
-186 -332 182 0
310 -140 114 0
98 -232 -315 0
220 -148 313 0
164 210 -112 0
-124 22 292 0
-87 343 -104 0
100 336 139 0
-271 76 246 0
99 -207 -290 0
218 81 -8 0
-221 -243 214 0
87 -317 -21 0
-184 125 -188 0
-235 -276 -7 0
-333 163 29 0
257 289 66 0
102 181 -72 0
162 -338 222 0
70 -231 -285 0
82 -20 282 0
-33 265 157 0
-291 -34 287 0
335 257 -271 0
46 -192 -288 0
-224 -69 130 0
196 -13 120 0
-277 -281 194 0
-195 -308 -301 0
-304 -96 -51 0
-98 294 -325 0
-52 -284 62 0
267 251 -192 0
-190 304 -346 0
137 -44 -288 0
-122 153 -200 0
132 -206 -4 0
-246 169 -337 0
-253 66 -342 0
-249 115 232 0
17 124 -175 0
-64 111 316 0
2 301 -252 0
292 179 184 0
194 36 262 0
-227 -330 -17 0
-113 -180 194 0
-279 65 -95 0
-142 162 211 0
305 137 -162 0
117 247 -60 0
-25 -342 330 0
-226 -340 -328 0
150 -179 -169 0
-322 21 65 0
-228 -123 148 0
350 165 -81 0
45 -123 -105 0
186 -282 -221 0
174 -277 -43 0
-247 -327 167 0
-87 2 205 0
295 -92 -68 0
-163 216 249 0
-232 -345 -298 0
-28 -102 -159 0
-13 -310 282 0
-84 -348 104 0
105 319 161 0
20 -201 -205 0
293 173 57 0
224 17 115 0
139 -291 142 0
237 190 257 0
166 4 25 0
-163 -330 123 0
130 294 -343 0
-304 177 -275 0
-37 56 328 0
-180 289 -76 0
-195 101 89 0
-49 287 -195 0
-23 49 -333 0
-307 288 -127 0
224 -72 321 0
4 310 289 0
-1 -91 127 0
2 107 -181 0
252 -201 138 0
29 171 -341 0
221 -277 -118 0
-284 347 280 0
-34 -22 179 0
-79 -182 -5 0
-175 -309 -292 0
-48 -225 102 0
-2 79 327 0
262 -253 297 0
40 -33 265 0
21 -173 155 0
188 -177 294 0
-310 -343 -108 0
-132 90 298 0
-134 174 334 0
17 42 98 0
350 -134 -300 0
-124 -203 154 0
-187 32 -33 0
29 228 255 0
292 263 -250 0
225 -346 -294 0
-243 25 257 0
-126 335 -234 0
189 180 -176 0
254 44 -259 0
-149 -170 -278 0
108 -237 -319 0
75 49 -1 0
-44 7 202 0
288 131 -265 0
295 -316 -50 0
-294 339 -9 0
-209 -337 199 0
117 -331 -148 0
15 37 -114 0
19 324 349 0
144 256 277 0
-182 64 7 0
-279 132 215 0
-175 -86 281 0
-48 -76 -208 0
182 -153 58 0
-205 -197 -148 0
-264 -205 71 0
-79 -305 88 0
283 -60 -230 0
259 -308 13 0
-45 329 258 0
-230 -90 -339 0
178 -76 11 0
215 -294 -284 0
310 148 138 0
136 267 229 0
-173 -283 -244 0
-303 154 -144 0
-46 -331 -40 0
193 -93 -21 0
118 136 -284 0
-207 31 325 0
-115 253 -288 0
-279 -1 -220 0
262 -264 -24 0
-194 -24 350 0
-134 -83 -215 0
-50 75 -95 0
187 -322 169 0
348 3 95 0
154 9 134 0
109 -152 67 0
162 -147 -301 0
280 -111 212 0
-101 -349 311 0
44 -229 196 0
-126 -287 -237 0
-35 305 -300 0
257 -303 -134 0
-246 216 -191 0
103 -246 -136 0
52 -326 -250 0
107 89 -131 0
162 312 122 0
199 181 -127 0
-127 -223 177 0
308 304 172 0
309 -271 252 0
281 109 -2 0
-105 -84 -274 0
249 -175 -27 0
-97 111 232 0
299 -97 107 0
70 325 232 0
22 92 61 0
191 -18 -174 0
112 254 208 0
171 242 -166 0
-35 -334 -143 0
257 -189 -230 0
208 -242 -85 0
55 -336 -184 0
-7 -10 -236 0
-340 -21 57 0
-22 48 -159 0
-220 39 88 0
218 -25 -67 0
189 139 257 0
228 133 -299 0
268 -115 -333 0
266 -160 -43 0
-119 -23 81 0
142 -234 209 0
-99 -226 9 0
-110 159 9 0
-117 -224 -104 0
-68 -322 -241 0
-123 57 -300 0
323 276 -183 0
84 -88 249 0
-108 282 -288 0
141 -228 -39 0
-261 114 -41 0
2 -116 -251 0
-193 -97 10 0
164 -43 -337 0
190 131 170 0
169 -85 -146 0
184 -4 70 0
-227 -10 -257 0
54 -229 -100 0
221 216 -245 0
-205 347 345 0
-123 278 -335 0
139 -134 -131 0
-258 -265 -2 0
-38 260 328 0
-82 -169 170 0
-321 269 95 0
-134 296 -205 0
56 -75 156 0
100 289 -338 0
-237 -27 -168 0
263 260 178 0
-83 179 -230 0
-307 -201 -341 0
326 318 293 0
304 -22 82 0
132 139 43 0
122 136 -146 0
-67 302 -152 0
166 -199 -271 0
-168 135 -120 0
216 301 -331 0
-309 185 324 0
-249 -101 -243 0
-116 63 -340 0
61 -315 83 0
-95 -30 71 0
-134 -166 162 0
-325 315 -77 0
-39 -347 -131 0
-248 -171 199 0
-97 -172 -18 0
160 317 -214 0
-305 187 -293 0
250 59 -148 0
-59 83 5 0
254 -338 -260 0
257 36 -317 0
-8 -95 141 0
157 -101 22 0
259 -1 47 0
252 -157 296 0
-44 -268 180 0
235 -188 333 0
-130 -190 -107 0
-185 -142 -173 0
281 -176 13 0
260 -217 -270 0
90 -92 -61 0
-7 -211 -318 0
-4 -124 -277 0
132 -180 -304 0
92 -167 30 0
16 -156 66 0
-347 -184 79 0
251 -114 -277 0
-253 314 -346 0
158 -291 -58 0
349 -182 -232 0
173 -241 143 0
-214 285 -261 0
-79 313 7 0
-298 -170 -39 0
158 -2 -179 0
-265 -143 -123 0
-129 1 -71 0
242 -117 -143 0
87 -292 330 0
-104 19 117 0
86 -123 55 0
286 123 109 0
29 -227 -305 0
-305 7 -264 0
235 -33 -268 0
-129 -301 214 0
97 -152 -289 0
157 176 -208 0
72 80 -346 0
329 -113 264 0
-243 -282 100 0
-228 179 -77 0
244 -164 68 0
330 316 13 0
-310 160 -113 0
1 -142 -126 0
-150 -64 234 0
211 -152 83 0
274 286 -248 0
2 -30 -27 0
106 286 -135 0
-262 298 297 0
-277 -206 207 0
82 -260 134 0
-156 343 89 0
189 -265 283 0
254 85 255 0
311 -73 11 0
-253 -109 312 0
284 175 225 0
-279 -91 328 0
-200 151 -73 0
155 -54 90 0
84 204 -73 0
-63 -140 -208 0
238 -246 -322 0
215 -50 113 0
109 -118 49 0
-312 -7 -186 0
336 311 -35 0
-206 75 -106 0
337 309 186 0
33 -77 26 0
-112 -36 189 0
-243 272 21 0
-177 262 -198 0
-209 122 320 0
-182 -25 263 0
-181 -109 -128 0
-75 58 122 0
323 190 -330 0
341 293 23 0
-266 130 2 0
-105 101 -120 0
277 175 -147 0
81 -121 -334 0
-264 -335 321 0
-93 342 -284 0
-48 301 -198 0
98 -79 290 0
121 -29 332 0
26 1 44 0
33 212 287 0
-34 -322 142 0
12 97 216 0
230 68 -295 0
294 47 97 0
-54 290 -283 0
-281 -224 -169 0
350 187 263 0
-88 -40 -54 0
31 311 -14 0
139 167 -181 0
45 -345 245 0
-220 171 -185 0
-236 346 28 0
188 -337 192 0
145 107 -219 0
215 303 -335 0
-119 -276 350 0
325 74 204 0
110 -190 -333 0
-129 -164 321 0
-198 31 -116 0
-338 209 325 0
118 -74 -87 0
12 -244 -305 0
-255 -237 287 0
184 232 -95 0
101 15 -32 0
156 -22 -286 0
143 142 53 0
131 242 -93 0
292 68 -173 0
-154 -303 17 0
22 66 247 0
318 149 218 0
267 121 156 0
-147 243 121 0
75 200 -107 0
314 -228 -35 0
85 -256 -161 0
-134 -61 -35 0
11 -129 225 0
-136 235 -218 0
-31 -69 -133 0
-179 -60 -46 0
-217 -161 -175 0
18 157 92 0
348 268 -165 0
-134 4 133 0
-349 -17 320 0
-225 -258 -283 0
-226 -5 48 0
54 121 136 0
-43 -328 89 0
-256 -238 -255 0
-339 -27 208 0
-156 330 -91 0
18 155 312 0
-82 141 229 0
-293 32 304 0
44 180 -49 0
130 -86 -273 0
-150 -200 269 0
13 24 58 0
-8 134 -176 0
190 -179 83 0
-26 27 -6 0
231 212 -173 0
-6 -57 79 0
2 181 235 0
328 77 256 0
80 56 -141 0
-135 -337 -58 0
331 118 144 0
57 176 -193 0
-120 -309 100 0
222 -122 -106 0
43 -19 -309 0
-182 216 -288 0
233 -151 -290 0
-227 226 -129 0
-83 20 -227 0
-123 -5 -287 0
-203 28 6 0
-49 160 -274 0
-74 321 1 0
-81 293 -222 0
268 -96 -278 0
-164 -14 173 0
-25 142 161 0
-94 -77 -308 0
-314 149 -158 0
144 187 266 0
15 -183 215 0
-348 -105 126 0
331 -60 -136 0
144 253 -321 0
-268 -321 -183 0
70 40 -187 0
181 347 214 0
194 -220 -188 0
-26 237 267 0
265 240 -39 0
-136 -275 -92 0
-21 79 -50 0
-109 276 -14 0
-59 136 272 0
350 247 272 0
234 -215 48 0
51 95 100 0
-126 316 43 0
201 -324 -88 0
-178 -88 -260 0
-239 -285 337 0
78 -270 -150 0
100 -271 336 0
146 -85 -332 0
350 46 -315 0
134 51 66 0
63 -29 -2 0
-276 -163 90 0
124 -161 63 0
-89 -164 -155 0
146 -182 -221 0
-330 13 -168 0
-262 -312 -329 0
-110 -147 200 0
-67 204 -134 0
6 -43 248 0
173 247 -36 0
71 -152 -137 0
72 -113 345 0
-232 -81 266 0
-70 225 -108 0
-18 69 -254 0
208 -262 -118 0
140 69 -22 0
104 227 213 0
98 189 -120 0
279 -70 -346 0
89 -165 -135 0
91 -200 -69 0
-191 101 -42 0
245 47 -223 0
-187 137 -61 0
-62 307 48 0
-277 -200 260 0
-322 192 318 0
-87 279 -169 0
201 -91 16 0
-123 226 -254 0
221 254 -122 0
177 349 11 0
335 -217 31 0
190 128 -205 0
102 -294 -88 0
-78 -173 -293 0
-335 62 164 0
-92 -156 101 0
-209 310 -103 0
132 -45 -342 0
-149 -198 294 0
-71 -183 186 0
-134 34 -272 0
-143 -84 208 0
-162 18 84 0
349 -267 -288 0
290 29 -181 0
-293 330 341 0
-89 -101 -290 0
-306 313 -205 0
253 44 -296 0
-7 208 -202 0
-16 231 254 0
87 2 275 0
81 -150 124 0
153 249 -146 0
-45 -295 213 0
-142 -124 -254 0
-331 340 -58 0
168 -153 44 0
278 293 -5 0
171 -77 44 0
-151 304 -128 0
181 18 -244 0
-203 -60 -149 0
320 244 -219 0
37 -9 40 0
60 -178 53 0
-123 93 -342 0
-328 -31 74 0
-229 148 135 0
119 189 62 0
-147 -190 215 0
269 -334 -19 0
103 -29 -184 0
-295 -315 -32 0
212 -345 -331 0
-135 -64 81 0
267 171 -303 0
145 -179 -306 0
222 316 -87 0
-186 177 -306 0
343 -132 252 0
311 120 -18 0
36 -292 103 0
-104 179 -217 0
-30 245 335 0
342 89 -216 0
127 93 -189 0
-96 -28 54 0
-63 150 -71 0
112 328 203 0
-145 173 74 0
-80 -50 13 0
321 339 -249 0
-292 -70 340 0
274 -140 -209 0
216 -81 -154 0
-114 -128 -305 0
319 250 125 0
-341 302 -334 0
-125 29 109 0
79 -332 218 0
-320 282 -156 0
192 97 -198 0
99 -319 54 0
43 136 -299 0
21 308 158 0
-115 208 243 0
108 226 142 0
-253 -325 -332 0
165 77 -270 0
21 318 -59 0
161 -221 -276 0
279 -336 -295 0
272 116 118 0
-82 238 296 0
182 113 143 0
-124 79 -272 0
220 -60 296 0
284 -120 -45 0
-199 215 -124 0
120 44 327 0
-79 128 -95 0
229 -326 38 0
177 17 319 0
95 -142 -312 0
39 213 189 0
149 33 -75 0
-59 132 18 0
67 -337 68 0
-207 97 185 0
-100 331 -73 0
116 236 273 0
-185 -296 -252 0
-189 -105 -202 0
144 -176 296 0
161 -159 -83 0
309 -228 -186 0
60 112 188 0
-255 24 -88 0
332 -333 -2 0
77 336 -317 0
-264 205 55 0
88 250 269 0
242 -89 -262 0
174 159 61 0
126 241 -273 0
208 -38 -29 0
-193 217 284 0
-308 24 -261 0
-332 -89 295 0
-46 -324 -236 0
-190 -269 148 0
-86 72 -280 0
-287 38 142 0
-197 -148 -157 0
-197 333 82 0
-10 -49 347 0
282 -38 -237 0
-208 -51 192 0
-336 52 212 0
23 -52 -61 0
269 42 117 0
287 -164 -69 0
-305 330 60 0
260 -61 -6 0
84 222 59 0
-28 -198 262 0
280 169 -319 0
-53 -308 -108 0
-46 -38 280 0
-180 -300 -306 0
116 -66 -91 0
320 -266 337 0
137 174 -143 0
-231 140 -233 0
279 -194 -290 0
100 67 -292 0
-300 200 -343 0
259 -35 -207 0
340 -83 326 0
9 317 -167 0
-74 146 -259 0
-42 -310 305 0
117 123 -337 0
240 303 16 0
33 -304 -346 0
-208 58 -331 0
295 -153 -125 0
238 -168 -275 0
165 273 -140 0
302 -277 97 0
-119 331 261 0
-78 336 275 0
121 -52 99 0
315 -101 -329 0
250 307 217 0
125 6 -160 0
-55 197 -14 0
-124 -114 -146 0
232 -175 129 0
269 251 256 0
76 -190 16 0
-129 298 -265 0
-345 101 195 0
44 88 240 0
78 36 -63 0
-28 203 -241 0
-62 116 -61 0
-167 109 93 0
131 -150 290 0
85 -98 -58 0
-284 327 -94 0
-314 -234 -116 0
-136 -121 163 0
269 -58 258 0
-25 171 -164 0
81 -289 -306 0
270 -148 191 0
-310 200 -224 0
53 199 71 0
278 73 -241 0
291 -332 297 0
-331 218 -309 0
15 -114 321 0
-205 -254 -301 0
-118 -66 279 0
-155 303 238 0
210 241 261 0
113 261 199 0
-38 227 134 0
-88 284 65 0
164 -106 88 0
81 341 158 0
-125 -39 95 0
45 262 156 0
228 -123 45 0
23 -51 269 0
-129 -225 299 0
-75 -23 257 0
166 -100 -227 0
339 -97 -172 0
-173 -136 106 0
-228 -57 -225 0
140 42 170 0
142 143 -101 0
239 -67 52 0
53 315 -185 0
269 106 -348 0
-119 149 -17 0
-30 -217 292 0
331 180 262 0
267 102 69 0
218 -269 15 0
192 -172 59 0
-219 1 189 0
40 -87 -324 0
208 -6 -304 0
98 15 295 0
39 131 148 0
349 333 -284 0
269 -238 -95 0
162 -27 -171 0
149 112 -36 0
251 -197 -75 0
11 129 157 0
334 -137 145 0
-57 -171 -60 0
261 236 -213 0
122 84 -184 0
-347 127 -261 0
222 133 200 0
73 -276 -26 0
-288 292 236 0
-65 293 334 0
341 284 -242 0
177 320 85 0
262 271 -49 0
13 -319 118 0
-161 -305 144 0
35 -311 -316 0
-256 286 37 0
37 -68 -9 0
-189 261 -170 0
24 38 326 0
153 -13 158 0
-132 -219 349 0
256 130 144 0
118 -252 -122 0
-313 -322 -32 0
314 -138 336 0
-147 332 71 0
-71 233 194 0
-142 -27 -60 0
-213 -87 71 0
115 -332 -319 0
186 75 -120 0
210 -203 -112 0
-315 -202 -195 0
-245 -284 294 0
-105 -308 -235 0
-281 112 135 0
-43 282 212 0
75 230 240 0
227 -182 -214 0
283 -7 32 0
-184 146 1 0
-348 341 48 0
-47 111 -258 0
-199 -283 -185 0
26 -170 271 0
-251 -75 254 0
-153 190 334 0
333 185 242 0
100 225 258 0
35 154 25 0
21 121 -117 0
-318 51 -73 0
-40 299 154 0
-82 -74 83 0
350 -260 271 0
280 259 -3 0
-346 -79 -32 0
-22 -278 -9 0
219 -92 310 0
99 214 -207 0
198 -11 -273 0
312 214 180 0
-44 169 -18 0
298 -23 248 0
-182 -169 279 0
-145 -132 166 0
-265 164 -51 0
144 -227 260 0
-281 41 -54 0
213 350 64 0
277 208 205 0
231 -103 -201 0
103 -318 -190 0
-339 -79 -283 0
21 -53 -94 0
-203 206 -241 0
-253 -296 264 0
98 244 -196 0
122 -50 -162 0
-120 321 130 0
-296 -314 -88 0
-204 -242 268 0
-74 298 -22 0
164 -340 35 0
122 -120 -229 0
36 79 89 0
-177 -52 15 0
-79 178 342 0
42 104 275 0
-128 -324 76 0
59 121 319 0
41 9 100 0
132 56 -47 0
-87 207 -121 0
-209 -130 260 0
-271 212 81 0
-241 -196 -125 0
-45 97 -2 0
-271 -69 174 0
266 268 -304 0
255 280 277 0
-225 -67 54 0
-290 -343 -46 0
-151 -61 235 0
-323 -325 -94 0
319 -318 237 0
-96 148 -214 0
-112 -275 -20 0
-42 244 209 0
-221 -76 -33 0
-73 -228 211 0
-239 -315 -37 0
-302 -7 44 0
30 -301 223 0
291 194 208 0
-165 119 87 0
209 80 101 0
-260 -269 125 0
232 132 173 0
142 -300 67 0
-166 221 -145 0
-177 -140 -230 0
-20 -23 -24 0
151 261 294 0
-243 248 -231 0
-91 -333 194 0
197 147 -285 0
10 86 201 0
-180 -229 -325 0
-346 5 -340 0
-194 96 145 0
-232 -239 -160 0
4 -22 -176 0
50 65 105 0
-186 -58 284 0
44 324 74 0
145 113 34 0
310 274 -287 0
-100 44 33 0
116 -121 284 0
119 -75 -284 0
-48 115 -45 0
-308 -242 -225 0
21 -29 79 0
166 -46 261 0
-74 -105 79 0
14 -228 -248 0
204 -324 -127 0
-179 -40 97 0
-344 -109 -343 0
21 -118 -17 0
321 25 133 0
150 88 204 0
127 -83 73 0
-156 -65 -145 0
-313 286 -278 0
265 -119 -191 0
-193 3 72 0
7 113 -256 0
-248 -118 135 0
-289 -340 78 0
-88 -79 149 0
-300 -271 -66 0
-183 10 64 0
333 8 -268 0
-312 -136 57 0
128 328 -52 0
288 -183 174 0
136 138 213 0
-325 -293 333 0
338 174 328 0
133 -319 269 0
-215 -26 -203 0
29 -180 197 0
-310 23 129 0
-314 -53 -29 0
-340 -16 -58 0
304 -42 314 0
-78 -93 69 0
-24 38 345 0
98 -301 -303 0
20 -13 290 0
-75 -230 -243 0
-201 -84 -117 0
-77 -51 -294 0
61 -49 -35 0
-95 -167 119 0
-91 -98 -27 0
151 -16 119 0
285 16 91 0
-241 338 237 0
31 326 297 0
-297 129 178 0
-212 208 184 0
281 251 94 0
-160 -191 83 0
-213 80 232 0
-175 120 233 0
-204 -40 -24 0
-7 97 -207 0
-126 186 -130 0
-88 -63 -40 0
99 312 -106 0
97 -13 119 0
-164 -276 -120 0
-200 90 78 0
301 -259 -212 0
-228 10 55 0
-271 149 196 0
33 -208 67 0
256 -262 -314 0
45 33 -246 0
204 -45 -95 0
-62 171 -61 0
-85 181 -241 0
200 217 -201 0
-339 214 251 0
140 328 137 0
-336 -322 304 0
288 -64 27 0
190 -147 169 0
221 306 -179 0
-37 -325 36 0
134 141 249 0
-15 91 191 0
-225 78 -244 0
-8 -56 186 0
-17 -261 350 0
-248 -340 326 0
-95 -222 -78 0
327 -281 48 0
-86 -160 179 0
-200 -40 -83 0
-208 184 -66 0
328 305 28 0
-273 -22 -178 0
16 329 235 0
337 -350 79 0
-28 38 242 0
91 284 -228 0
-274 47 265 0
-192 -316 87 0
136 -52 -271 0
174 -24 144 0
-140 348 299 0
66 -25 234 0
-123 -172 -348 0
-154 -153 -31 0
194 -72 47 0
332 105 92 0
-283 178 110 0
118 338 -339 0
240 -145 -188 0
-21 -209 278 0
-126 128 137 0
297 -31 -169 0
118 -200 -61 0
-157 -337 -188 0
245 231 -292 0
217 -220 -172 0
-282 -49 85 0
119 -72 14 0
-134 -123 166 0
-287 -239 226 0
87 -301 146 0
145 162 146 0
-225 -285 -170 0
-77 160 120 0
83 333 -187 0
-201 176 317 0
19 -40 309 0
268 224 -341 0
-70 -162 -329 0
69 -18 -162 0
302 91 -290 0
-81 -268 34 0
297 114 245 0
289 -199 272 0
246 19 -259 0
-260 141 -175 0
59 23 53 0
-134 285 9 0
46 316 -153 0
-252 -118 334 0
-286 -73 -280 0
-350 -268 -327 0
-136 -34 318 0
339 126 120 0
96 -55 -141 0
-147 -105 275 0
-20 40 72 0
2 306 -297 0
-276 -200 -160 0
-185 -70 -99 0
71 -177 -19 0
-349 -138 174 0
-204 -337 6 0
181 344 -228 0
45 172 111 0
265 193 91 0
176 231 -341 0
-298 -16 -140 0
306 -102 -108 0
58 204 307 0
-208 -284 -244 0
-263 83 -45 0
-127 149 -77 0
266 322 343 0
40 283 203 0
-141 268 -224 0
246 -182 174 0
-154 131 259 0
-239 313 87 0
150 -230 -191 0
-35 37 -107 0
-233 -156 118 0
-138 -315 174 0
30 282 -39 0
-18 -166 185 0
260 -88 322 0
-23 265 -149 0
-6 -317 -181 0
-11 -25 17 0
-131 -169 112 0
147 289 -122 0
321 -114 -33 0
186 129 222 0
230 -227 269 0
237 -185 155 0
155 117 -202 0
-73 157 -312 0
54 297 269 0
-112 68 -7 0
-24 -113 -255 0
-136 -239 -108 0
-193 -234 290 0
4 277 13 0
-172 -136 -196 0
287 -100 74 0
237 95 -51 0
13 82 -128 0
-300 -155 -32 0
-256 178 44 0
-105 321 -200 0
105 -137 101 0
-57 -95 149 0
-121 -53 9 0
-208 55 -152 0
97 312 -329 0
80 -172 -1 0
-309 -55 195 0
-81 -234 160 0
-292 257 183 0
-161 -29 50 0
196 79 -51 0
-64 182 -28 0
243 343 -166 0
-344 92 -308 0
-259 70 126 0
143 169 82 0
-246 251 -112 0
-329 -205 344 0
-134 -41 271 0
-190 -331 76 0
-309 -281 107 0
-252 67 -94 0
-50 -274 -93 0
-236 -338 59 0
23 36 -337 0
174 332 -323 0
294 -136 77 0
-299 -308 -19 0
277 61 234 0
250 -150 -322 0
66 -212 16 0
-331 -251 -12 0
-268 5 -270 0
-8 -38 297 0
69 13 -332 0
-283 164 -276 0
20 -117 260 0
-332 223 314 0
4 330 -321 0
63 -5 -144 0
-146 304 -20 0
-23 -316 -183 0
203 130 -34 0
329 289 -262 0
-237 181 -27 0
230 26 -87 0
68 -276 201 0
-228 195 236 0
-48 -349 -182 0
46 241 -224 0
-275 276 -215 0
-228 -161 278 0
158 -255 340 0
-289 107 -213 0
246 320 288 0
-232 255 -116 0
332 159 15 0
-276 -148 -328 0
-274 79 45 0
268 156 -295 0
-108 -45 76 0
-283 341 214 0
347 65 302 0
-241 294 232 0
-225 249 270 0
347 345 228 0
42 315 -266 0
-26 332 235 0
283 -231 154 0
-250 199 105 0
157 161 -32 0
305 -185 41 0
95 308 -135 0
-66 25 -174 0
-129 31 347 0
173 58 -73 0
-4 23 61 0
-171 -290 -18 0
230 -350 -291 0
127 110 330 0
-151 88 218 0
80 88 -58 0
-151 -271 280 0
-190 276 -110 0
-177 -148 221 0
338 -48 345 0
59 333 -242 0
242 -219 134 0
48 168 -127 0
-241 -302 117 0
228 189 -139 0
87 73 297 0
314 298 -101 0
-292 265 132 0
-324 27 164 0
-41 210 142 0
-48 -249 -67 0
223 -311 62 0
-330 155 -47 0
62 -49 158 0
-46 -160 -148 0
134 -254 -146 0
233 -212 -36 0
171 -320 -311 0
6 -131 196 0
74 -91 159 0
-153 141 -208 0
214 340 208 0
-20 79 -228 0
-151 -108 -169 0
126 252 -266 0
-202 30 -269 0
155 -57 199 0